type T = [foo?]
